$\forall$$a$, $b$:$\mathbb{Z}$. $\exists$$y$:$\mathbb{Z}$. GCD($a$;$b$;$y$)